Logical machine - PDFSEARCH.IO - Document Search Engine

Logical machine
Results: 63

#	Item
21	white paper Tru64 UNIX and EV7-based AlphaServer systems Add to Reading List Source URL: www.tru64unix.compaq.com Language: English - Date: 2008-03-05 13:58:56 AlphaServer Tru64 UNIX DEC Alpha Logical partition Disk partitioning IBM System i Unix HP-UX Virtual machine Computer architecture System software Computing
22	Stanford’s 2014 Slot Filling Systems Gabor Angeli∗ , Sonal Gupta∗ , Melvin Jose∗ , Christopher D. Manning∗ Christopher R´e∗ , Julie Tibshirani∗ , Jean Y. Wu∗ , Sen Wu∗ , Ce Zhang† ∗ Stanford Univer Add to Reading List Source URL: i.stanford.edu Language: English - Date: 2014-12-29 19:10:03 Inference Logical consequence Reasoning Machine learning Probability Causality Logic Statistics Knowledge
23	Relieving the Computational Bottleneck: Joint Inference for Event Extraction with High-Dimensional Features Deepak Venugopal and Chen Chen and Vibhav Gogate and Vincent Ng Department of Computer Science and Human Languag Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-08-27 12:24:20 Knowledge Computational linguistics Speech recognition Reasoning Arguments N-gram Support vector machine Inference Markov logic network Logic Science Logical consequence
24	KVM and Big VMs KVM Forum 2012 Andrew Theurer IBM Linux Technology Center Topics Add to Reading List Source URL: kvm.et.redhat.com Language: English - Date: 2012-11-20 21:55:03 Parallel computing QEMU Hyper-V Hypervisor VM OpenVMS Logical partition Virtual machine Non-Uniform Memory Access System software Software Computing
25	EMA™ Cross-Domain Value IT Automation EMA defines IT Automation logically into three different areas: people-to-people, people-to-machine, and machine-to-machine. However, this “logical” definition is somewhat orth Add to Reading List Source URL: www.enterprisemanagement.com Language: English - Date: 2011-08-26 12:47:49 Configuration management database Engineering Knowledge Configuration management Automation Business process automation
26	J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka · Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Automated theorem proving Proof theory Mathematical proofs Logical syntax First-order logic Proof assistant Theorem Isabelle Natural deduction Logic Mathematics Mathematical logic
27	Structured Inference and Incomplete Information! Randy Goebel! Alberta Innovates Centre for Machine Learning! Department of Computing Science! University of Alberta! Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-02-19 20:11:53 Reasoning Information science Inference Logical consequence Pulsar Cyc Informatics Science Knowledge Logic
28	Logical Methods in Computer Science Vol. 9(4:[removed], pp. 1–39 www.lmcs-online.org Submitted Published Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-12-17 05:01:37 Mathematics Formal languages Computer science Combinatorics on words Theory of computation Finite-state machine Alphabet Nondeterministic finite automaton Computability Automata theory Models of computation Theoretical computer science
29	Oracle Infrastructure Systems Management with Enterprise Manager and Ops Center CON4954 Simon Hayler Add to Reading List Source URL: www.oracle.com Language: English Oracle VM Oracle Corporation Oracle Database Solaris Oracle Enterprise Manager Logical Domains Virtual machine Oracle Linux Comparison of platform virtual machines Software System software Computing
30	Extracting Paraphrases from Definition Sentences on the Web Chikara Hashimoto∗ Kentaro Torisawa† Stijn De Saeger‡ Jun’ichi Kazama§ Sadao Kurohashi¶ ∗†‡§ National Institute of Information and Communicatio Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2011-05-20 17:36:24 Deduction Entailment Logical consequence Metalogic Presbyterian paraphrases Modal logic Sentence Statistical machine translation Copula Logic Linguistics Philosophical logic

UPDATE